<html>
<head><meta charset="utf-8"><title>Tag/niche terminology cleanup (#72497) · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html">Tag/niche terminology cleanup (#72497)</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="199247214"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199247214" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199247214">(May 30 2020 at 09:17)</a>:</h4>
<p>What would it take to make progress on <a href="https://github.com/rust-lang/rust/pull/72497">https://github.com/rust-lang/rust/pull/72497</a> ?</p>



<a name="199254492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199254492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199254492">(May 30 2020 at 12:27)</a>:</h4>
<p>well our meeting ran long this last week</p>



<a name="199254495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199254495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199254495">(May 30 2020 at 12:27)</a>:</h4>
<p>/me goes back to review why that happened</p>



<a name="199254543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199254543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199254543">(May 30 2020 at 12:28)</a>:</h4>
<p>ah the LLVM upgrade discussion dominated the meeting <a href="#narrow/stream/238009-t-compiler.2Fmeetings/topic/.5Bweekly.20meeting.5D.202020-05-28.20.2354818/near/199033003">last week</a></p>



<a name="199254563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199254563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199254563">(May 30 2020 at 12:30)</a>:</h4>
<p>we're assuming we'll get to it in the next meeting.</p>



<a name="199254601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199254601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199254601">(May 30 2020 at 12:30)</a>:</h4>
<p>its possible it will make progress before then</p>



<a name="199254615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199254615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199254615">(May 30 2020 at 12:30)</a>:</h4>
<p>another option is to encode it as an MCP; then you'd just need someone to second it, which I think you could easily do, and wait to see if anyone objects.</p>



<a name="199254619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199254619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199254619">(May 30 2020 at 12:30)</a>:</h4>
<p>but this change doesn't strike me as MCP worthy even</p>



<a name="199254624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199254624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199254624">(May 30 2020 at 12:31)</a>:</h4>
<p>i.e. it just seems like ... a good thing?</p>



<a name="199254702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199254702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199254702">(May 30 2020 at 12:32)</a>:</h4>
<p>in fact, it seems implicitly supported by the fact that PR <a href="https://github.com/rust-lang/rust/issues/50309">#50309</a> landed and <span class="user-mention" data-user-id="119009">@eddyb</span> had closed <a href="https://github.com/rust-lang/rust/issues/49938">#49938</a> in response?</p>



<a name="199254782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199254782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199254782">(May 30 2020 at 12:34)</a>:</h4>
<p>I see, <span class="user-mention" data-user-id="119009">@eddyb</span> is making the point that its not clear whether the word "tag" <em>includes</em> the niche-filling representation or not. And <em>regardless</em> of how that decision comes out, we do need some way to refer to it as a separate notion</p>



<a name="199254793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199254793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199254793">(May 30 2020 at 12:35)</a>:</h4>
<p>but you've already made the point that we make that distinction via the <code>TagEncoding</code> enum, with <code>TagEncoding::Direct</code> and <code>TagEncoding::Niche</code></p>



<a name="199261804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199261804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199261804">(May 30 2020 at 15:25)</a>:</h4>
<p>I was trying to avoid figuring out the bureaucracy involved in MCPs^^</p>



<a name="199261809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199261809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199261809">(May 30 2020 at 15:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497)/near/199254702">said</a>:</p>
<blockquote>
<p>in fact, it seems implicitly supported by the fact that PR <a href="https://github.com/rust-lang/rust/issues/50309">#50309</a> landed and <span class="user-mention silent" data-user-id="119009">eddyb</span> had closed <a href="https://github.com/rust-lang/rust/issues/49938">#49938</a> in response?</p>
</blockquote>
<p>that issue was closed in 2018 already?</p>



<a name="199261815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199261815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199261815">(May 30 2020 at 15:25)</a>:</h4>
<p>but <span class="user-mention" data-user-id="119009">@eddyb</span>  is supporting this rename, yes</p>



<a name="199375861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/199375861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#199375861">(Jun 01 2020 at 14:31)</a>:</h4>
<p>well in any case I assume you're okay with my current plan to "just" bring it up at this Thursday's meeting? It doesn't seem like something that needs to be rushed.</p>



<a name="200388613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/200388613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#200388613">(Jun 10 2020 at 08:14)</a>:</h4>
<p>sure, sounds good</p>



<a name="200388657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/200388657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#200388657">(Jun 10 2020 at 08:14)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> so what was the conclusion at that meeting?</p>



<a name="200547374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/200547374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#200547374">(Jun 11 2020 at 13:57)</a>:</h4>
<p>Here's the (start of the) relevant part of the meeting: <a href="#narrow/stream/238009-t-compiler.2Fmeetings/topic/.5Bweekly.20meeting.5D.202020-06-04.20.2354818/near/199757830">https://rust-lang.zulipchat.com/#narrow/stream/238009-t-compiler.2Fmeetings/topic/.5Bweekly.20meeting.5D.202020-06-04.20.2354818/near/199757830</a></p>



<a name="200547571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/200547571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#200547571">(Jun 11 2020 at 13:58)</a>:</h4>
<p>no one objected. <span class="user-mention" data-user-id="119009">@eddyb</span> pointed out that the thrust of it was to allow the word "tag" to include "niche", and that if you want to differentiate the two, then you need to talk about the "tag encoding".</p>



<a name="200547600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/200547600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#200547600">(Jun 11 2020 at 13:59)</a>:</h4>
<p>I asked anyone who does object to comment on your issue (<a href="https://github.com/rust-lang/rust/issues/72497">#72497</a>)</p>



<a name="200547618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/200547618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#200547618">(Jun 11 2020 at 13:59)</a>:</h4>
<p>I suspect you can just move forward with it.</p>



<a name="200759252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Tag/niche%20terminology%20cleanup%20%28%2372497%29/near/200759252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Tag.2Fniche.20terminology.20cleanup.20(.2372497).html#200759252">(Jun 13 2020 at 10:12)</a>:</h4>
<p>Great. :) so, anyone up for reviewing it?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>